Typing is writing: Linguistic properties modulate typing execution

Typing Weak MSOL Properties

We consider λY -calculus as a non-interpreted functional programming language: the result of the execution of a program is its normal form that can be seen as the tree of calls to built-in operations. Weak monadic second-order logic (wMSOL) is well suited to express properties of such trees. We give a type system for ensuring that the result of the execution of a λY -program satisfies a given w...

typing dynamic typing

Typing pictures: Linguistic processing cascades into finger movements.

The present study investigated the effect of psycholinguistic variables on measures of response latency and mean interkeystroke interval in a typewritten picture naming task, with the aim to outline the functional organization of the stages of cognitive processing and response execution associated with typewritten word production. Onset latencies were modulated by lexical and semantic variables...

Binary IS Typing for Staphylococcus aureus

BACKGROUND We present an easily applicable test for rapid binary typing of Staphylococcus aureus: binary interspace (IS) typing. This test is a further development of a previously described molecular typing technique that is based on length polymorphisms of the 16S-23S rDNA interspace region of S. aureus. METHODOLOGY/PRINCIPAL FINDINGS A novel approach of IS-typing was performed in which bina...

Typing Coroutines

A coroutine is a programming construct between function and thread. It can be invoked like a function, but before it returns a value (if ever) it may suspend itself arbitrarily often to return intermediate results and then be resumed with new inputs. Unlike with preemptive threading, a coroutine does not run concurrently with the rest of the program, but rather takes control until it voluntaril...